Search Results
Interaction Trees: Lucas Silver and Irene Yoon (Univ. of Pennsylvania) - PERR 2020
Interaction Trees - Representing Recursive and Impure Programs in Coq
[POPL 2021] CoqPL: Verifying a compiler through equational means
![[POPL 2021] CoqPL: Verifying a compiler through equational means](https://img.youtube.com/vi/Qj8dGo010zI/hqdefault.jpg)